Continuous-Time Control Synthesis for Multiple Quadrotors under Signal Temporal Logic Specifications