floresca vs philex mining case digest