A micro electrostatic linear accelerator based on electromagnetic levitation