Average treatment effect bounds with an instrumental variable: theory and practice (2018)