Feasibility studies of time-like proton electromagnetic form factors at P ¯ ANDA at FAIR