Eighteen miners are in good health after a 12-hour-long rescue operation, Colombia's National Mining Agency says.