An Optimal Algorithm for the Construction of Optimal Prefix Codes with Given Fringe