EBSCO Industries promotes David Walker as new CEO