Implement dot_product_mat_vec_mult().