Update and rename Mux_2to1_12b.v to Mux_2to1_16b.v