Some comments added. Final version