Density functional study on positively charged six-coordinate FeO2 porphyrin complex for a trigger of O2 dissociation