An Efficient Algorithm for Performance Optimal FPGA Technology Mapping with Retiming