Discovery of a planetary-mass companion within the gap of the transition disk around PDS 70