Text this: Rural electrification and the changing energy irrigation nexus in Bihar