Petrobras announces 'huge' gas discovery in Colombia