System BV is NP-complete