Random number generation based on digital differential chaos