BHP Petroleum and Woodside to Merge