How would you derive basic metric units on mars?