A database with information about Korean baduk professionals