Contractions, removals and certifying 3-connectivity in linear time