Johan Richter (oppfinner)