Patty Jenkins will direct next ‘Star Wars’ film