Senior Chinese official executed for spying for Taiwan