Investigation on the crushing of circular tubes: Theoretical models and experimental validation