Mathematical formulation and preliminary testing of a spline approximation algorithm for the extraction of road alignments