Notes on Naimark's Dilation Theorem