Specific empirical free energy function for automated docking of carbohydrates to proteins | Synapse