Voice leading in cantus firmus-based composition: a comparison between theory and practice in Renaissance and Baroque music using computer-assisted inferential measures