Text this: Effective field theory approach to lepton number violating decays K±→ π∓l±l±: short-distance contribution