The smoking ban at HMP Edinburgh /