Shell halts controversial oil exploration in Alaska