The minimal time regulator problem for linear sampled-data systems: General theory☆