Exact and approximation algorithms for the tactical fixed interval scheduling problem