pub fn withdraw_tokens( ctx: Context<'_, '_, '_, '_, UserStake<'_>>, amount: u64) -> Result<()>
Withdraws tokens from the Miner.