How big an inverter does a 40kw solar power system require