End-of-life disposal of libration point orbit missions: The case of Gaia