Group strategy-proof stable mechanisms in priority-based resource allocation under multi-unit demand: a note