How Can Digital Twins Be Used in Highway Maintenance? A Questionnaire Survey for Industry Practitioners