Efficient arithmetic regularity and removal lemmas for induced bipartite patterns