Power Line Inspection Tasks with Multi-Aerial Robot Systems via Signal Temporal Logic Specifications