Pinus mugo var. mugho