In Prague, what are some good 4-star and 5-star hotel options in the Old Town, and good local restaurants?