Thor’s Cave, ancient history and legends in the Peak District