Total Says Brazil's Giant Libra Oil Field Produces First Oil