Holly named Whiting Petroleum president, CEO