Colombia govt reveals how it spends mining royalties