Python script for generating a random EAN13 number