When a main-sequence star has exhausted the fuel in its core, it becomes a _____.