Mexico makes its biggest oil discovery in more than three decades