Miner dies at St. Lucie County quarry when excavator gets submerged in pond, federal officials say