Feds reach $5.15B settlement over mining cleanup