The Andorra-I Engine: A Parallel Implementation of the Basic Andorra Model