Structure-based design of chemical probes at protein surfaces that read posttranslational modifications