Scalable Multi-Robot Task Allocation and Coordination under Signal Temporal Logic Specifications