Design tools for the preliminary sizing of a satellite bus and its subsystems