Spline collocation methods for fractional differential equations: theoretical and computational aspects