Principles and applications of compressed air energy storage