Mars Hand Lens Imager (MAHLI), a type of camera on the Curiosity rover on the Mars Science Laboratory mission