People cash in as ATM in UK pays out double by mistake