Bayern Munich have appointed Julian Nagelsmann as their next manager, having reached a compensation agreement with RB Leipzig.