Dicer1-mediated miRNA processing shapes the mRNA profile and function of murine platelets.