Randomized Spline Trees for Functional Data Classification: Theory and Application to Environmental Time Series