Modeling and power management of a LEO small satellite electrical power system