what is florida sand mines used for