Brazil's Petrobras sells gas pipeline for $5.2B