Complexity and Succinctness Issues for Linear-Time Hybrid Logics