Mina: Fine-Grained In-network Aggregation Resource Scheduling for Machine Learning Service | IEEE Conference Publication | IEEE Xplore