What are the differences between Mealy and Moore machines, and when would you prefer each in embedded designs at NXP Semiconductors?