Bisimulations up-to for the linear time branching time spectrum