What is the correct HTML for inserting a drop-down list?