San Nicolás, el origen de Papa Noel