phosphate mining in florida during the 1920s