Time-Optimal Control for Tiny Quadcopters