Multiwavelength dust characterization of the HL Tau disk and implications for planet formation