Joe Biden is president-elect: what now for US oil and gas?