what kind of currencies is used in denmark?