Energy-participation quantization of Josephson circuits