Johannes Tinctoris, Liber de arte contrapuncti