It's official: FCC Chairman Martin leaving on Jan 20