Checking Interval Properties of Computations