For a select element, is there any difference between the length property and the options.length proper