Thales Alenia Space to build Koreasat-7 and Koreasat-5A satellites