The mysteries of Mammatus clouds: Observations and formation mechanisms