Validating Network Protocol Parsers with Traceable RFC Document Interpretation