HAMAP in 2013, new developments in the protein family classification and annotation system