Design of disposal orbits for high altitude spacecraft with a semi-analytical model