Local analysis of formal stability and existence of fixed points in 4d symplectic mappings