Modeling and simulation of kite power systems