Trump administration revokes ban on drilling and mining in Alaska