Aircraft power generation systems