High-resolution TOF with RPCs