The role of Ca2+-stimulated adenylyl cyclases in bidirectional synaptic plasticity and brain function