Text this: Justification of the NLS Approximation for the KdV Equation Using the Miura Transformation