Cases, causes and classifications of craters above salt caverns