Multi-UAV Deployment for Coverage with Spatio-Temporal Specifications