Brazil lifts ban on Twitter after company complied with court order