First‐Principles Calculations of Lithium‐Ion Migration at a Coherent Grain Boundary in a Cathode Material, LiCoO2