Total buys French electricity retailer Direct Energie