NIST-Recommended Random Number Generator Based on ANSI X9.31 Using the AES