Title: The role of the external laryngeal muscles in length-adjustment of the vocal cords in singing