Bioinformatics tools for exploring protein biology