Automating Bird Diverter Installation through Multi-Aerial Robots and Signal Temporal Logic Specifications