What is a Device Type Manager (DTM)?