国有企业的工会委员会是职工代表大会的()。