Performance Comparison of B-Prolog with other Major CLP(FD) Systems