Technologies and prospects for compressed air energy storage