Cell decomposition for p-adic fields: Definable sets and minimality door