Choctaw Casino Hotel opens May 1