Theory and evidence on the dynamic interactions between sovereign credit default swaps and currency options