President officially names Philip Miscimarra to head NLRB