Let's start with the basics. How is the mark price constructed on DerivaDEX, and how often does it update?