Defective pyrite (100) surface: An ab initio study