More than 16 million people bought insurance on Healthcare.gov, a record high