Mining of fluorspar