Which mineral is necessary for proper synthesis and function of the hormone thyroxine?