Nocturnal mixed layers and water ice clouds on Mars