Exact quantum search based on analytical multiphase matching for known number of target items and the experimental demonstration on IBM Q