A fast algorithm for the division of two polynomial matrices