Mining company banned from demolishing Philippine homes