Feasibility studies for the measurement of time-like proton electromagnetic form factors from p¯ p→ μ+μ- at P ¯ ANDA at FAIR