Natural killer cell differentiation: insights from knockout and transgenic mouse models and in vitro systems | Synapse