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