IBM develops a lithium-air battery with a 500-mile range for electric cars