Interactive Depixelization of Pixel Art through Spring Simulation