Robots in Mine Search and Rescue Operations: A Review of Platforms and Design Requirements