Nested Hoare Triples and Frame Rules for Higher-order Store