Constructing Cell-type Taxonomy by Optimal Transport with Relaxed Marginal Constraints