Please provide a code of a module that converts a 15-bit thermometer input to the corresponding 4-bit output integer using Verilog. For example, an input of 000001111111111 will be converted to 1010. Thank you!