Chris Mason appointed the BBC's new political editor