B-spline ADC: many-body ab initio theory for electron dynamics in strong laser fields