Text this: What's decidable about linear loops?