Propagation characteristics and transaction isolation levels of spring transactions