Who was the first Liverpool born world professional boxing champion at any weight and how many has there been since?