Software tools and databases for working with proteins