A bioinformatics search engine for protein isoelectric points