Multi-level Dependability Modeling of Interdependencies between the Electricity and Information Infrastructures