Structured coalgebras and minimal HD-automata for the pi-calculus