请问国营煤矿副矿长年收入大概多少呢？加上灰色收入。