Bounding normalization time through intersection types