Why is English the only language having John as a shortened version of another name?