Пинта пива: понятие, объём в литрах, история появления