Is there a power supply for electronics on an airplane?