Structure of a modified protein containing a genetically encoded phosphoserine