Oil companies sue U.S. over Gulf auction changes meant to protect whale