User-Guided Vectorisation of Pixel Art through Spring Simulation