Specification Patterns for Robotic Missions