Experience with a mechanized pavement patching machine in Colorado