Tin jumps 10% on news of mining ban in major producer Myanma