Variational inequality problem over the solution set of split monotone variational inclusion problem with application to bilevel programming problem