Design Principles for the Widespread Use of Dynamic Mathematics