An algorithm for the division of two polynomial matrices