Search for the X(4140) state in B+->J/psi phi K+ decays with the D0 detector