572nd (Devon) Works Company, Royal Engineers