Ronaldinho: the born entertainer who brought joy to football