Family identifies father who died in St. Lucie County mining incident