No. 19 Butler defeats No. 18 Johnson in overtime