A Signal Temporal Logic Planner for Ergonomic Human-Robot Collaboration