bedakan pengertian antara devaluasi dan revaluasi